Do 'ethos' ao etos
نویسندگان
چکیده
منابع مشابه
Etos: an Erlang to Scheme compiler
The programming languages Erlang and Scheme have many common features, yet the performance of the current implementations of Erlang appears to be below that of good implementations of Scheme. This disparity has prompted us to investigate the translation of Erlang to Scheme. In this paper we describe the design and implementation of the Etos Erlang to Scheme compiler and compare its performance ...
متن کاملAuthentication in Ethos
Authentication primitives should be simple, general, and robust against attack. We describe the authentication mechanisms of Ethos, an experimental, clean-slate operating system that has been designed for security. We reexamine and redesign software layering for authentication, and evaluate the resulting security properties. In Ethos, integrated network security and simplified local authenticat...
متن کاملAplicação do Problema da Gramática Mínima ao Projeto do Aspecto Sintático de Linguagens de Programação
This paper introduces a proposal of method for grammar inference of programming languages based in source-code examples. The strategy proposed in this method uses the solution of the smallest grammar problem for conversion of text representation into grammars that form the base of an adaptive model, which generalizes the respective resulting grammars from positive and negative examples. Resumo....
متن کاملEthos’ Distributed Types
Programming languages have long incorporated type safety, increasing their abstraction level and thus aiding programmers. Type safety eliminates whole classes of bugs, avoiding the tedious and error-prone search for these bugs. Type-related bugs are particularly dangerous and often result in security holes because they violate programmer expectations. Despite its benefits, type safety protectio...
متن کاملAvalia\c{c}\~ao do m\'etodo dial\'etico na quantiza\c{c}\~ao de imagens multiespectrais
The unsupervised classification has a very important role in the analysis of multispectral images, given its ability to assist the extraction of a priori knowledge of images. Algorithms like k-means and fuzzy c-means has long been used in this task. Computational Intelligence has proven to be an important field to assist in building classifiers optimized according to the quality of the grouping...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Cadernos de Estudos Lingüísticos
سال: 2019
ISSN: 2447-0686
DOI: 10.20396/cel.v61i0.8655079